The application of truth tables and matrices did not come into general use until 1920. 사실 테이블과 매트릭스의 응용 프로그램은 일반적인 사용에 1920년까지 오지는 않았 겠지.
This, of course, is in contrast with the propositional calculus which has a decision procedure based on truth tables. 이것은 물론, 의사 결정 절차는 진실에 기반 propositional 수학과는 대조적이다 테이블.